#include <stdio.h>

int main() {
    int salary;
    float rate;

    scanf("%d", &salary);
    if (salary > 80000) {
        rate = 0.45;
    } else if (salary >= 55000) {
        rate = 0.35;
    } else if (salary >= 35000) {
        rate = 0.30;
    } else if (salary >= 9000) {
        rate = 0.25;
    } else if (salary >= 4500) {
        rate = 0.20;
    } else if (salary >= 1500) {
        rate = 0.10;
    } else if (salary >= 0) {
        rate = 0.03;
    } else {
        printf("Error!\n");
    }

    printf("Tax: %f\n", salary*rate);
    return 0;
}
